:: Monad m => _ -package:base-prelude package:haskell-gi-base

A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.